Journal of Functional Programming Flexible Dynamic Information Flow Control in the Presence of Exceptions Journal:

Source URL: www.cse.chalmers.se

The Functioning of ICFP Version 2015  On behalf of the ICFP Steering Committee  Inspired by the Principles of POPL and the Practices of PLDI   

Source URL: www.icfpconference.org

• Computer science
• Functional programming
• International Conference on Functional Programming
• Computing
• ICFP Programming Contest
• Programming Language Design and Implementation
• Symposium on Principles of Programming Languages

Tangible functional programming: a modern marriage of usability and composability Conal Elliott November, 2007

Source URL: conal.net

Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: +

Source URL: www.cs.tufts.edu

• Computer science
• Software engineering
• Computing
• Functional programming
• International Conference on Functional Programming
• Programming Language Design and Implementation
• Symposium on Principles of Programming Languages
• SIGPLAN
• ECL programming language
• Association for Computing Machinery
• Programming language theory

Functional Subspace Clustering with Application to Time Series Mohammad Taha Bahadori∗ MOHAMMAB @ USC . EDU David Kale∗† DKALE @ USC . EDU

Source URL: jmlr.org

• Machine learning
• Statistics
• Learning
• Artificial intelligence
• Multivariate statistics
• Dynamic programming
• Cluster analysis
• Data mining
• Geostatistics
• K-means clustering
• Principal component analysis
• Dynamic time warping

A Static Analyzer for Large Safety-Critical Software (Extended Abstract) Bruno Blanchet ∗ § Laurent Mauborgne § Patrick Cousot §

Source URL: www-verimag.imag.fr

• Computing
• Software engineering
• Computer programming
• Abstract interpretation
• Data types
• Functional languages
• Denotational semantics
• Function
• Array data type
• Scala
• Widening
• Data-flow analysis

1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Programming language theory
• Type theory
• Data types
• Functional languages
• Functional programming
• Procedural programming languages
• Standard ML
• Algebraic data type
• Tagged union
• Unification

Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming Cezar Ionescu Patrik Jansson

Source URL: www.cse.chalmers.se

Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However,

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Type theory
• Eval
• Standard ML
• Anonymous function
• HindleyMilner type system
• OCaml
• Polymorphism

Bachelor Projects in the HIPERFIT Research Center Developing and Improving the “HIPERFIT Portfolio Management Prototype” The “HIPERFIT Portfolio Management Prototype” is a System for Managing and Pricing Portfoli

Source URL: hiperfit.dk

• Software engineering
• Computing
• Computer programming
• Array programming languages
• Functional languages
• APL programming language family
• Object-oriented programming languages
• University of Copenhagen
• UCPH Department of Computer Science
• APL
• Automatic parallelization
• Functional programming